REMConSpec – a formal language for policy specification 1 Irem Aktuga , Katsiaryna Naliukab a

Source URL: www.csc.kth.se

Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Formal languages
• Logical truth
• Metalogic
• First-order logic
• Interpretation
• Substitution
• Well-formed formula
• Satisfiability

Static conflict detection for a policy language∗ Alix Trieu1 , Robert Dockins2 , Andrew Tolmach3 1: ENS Rennes, 2: Galois, Inc.

Source URL: web.cecs.pdx.edu

• Software engineering
• Mathematics
• Computing
• Formal languages
• Character encoding
• String
• Tree
• Foreach loop
• Parity of a permutation

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computing
• Software
• Compiler construction
• Formal methods
• Logic in computer science
• Programming language implementation
• Functional languages
• Programming language
• Semantics
• Compiler
• Low-level programming language

Language CoLLAGE: Grammatical Description with the LinGO Grammar Matrix Emily M. Bender University of Washington Department of Linguistics Box

Source URL: www.lrec-conf.org

• Grammar
• Linguistics
• Cognitive science
• Language
• Generative linguistics
• Syntax
• Formal languages
• Natural language processing
• DELPH-IN
• Head-driven phrase structure grammar
• Predicate
• Parsing

The GeoLink Modular Oceanography Ontology Adila Krisnadhi1,8 , Yingjie Hu2 , Krzysztof Janowicz2 , Pascal Hitzler1 , Robert Arko3 , Suzanne Carbotte3 , Cynthia Chandler4 , Michelle Cheatham1 , Douglas Fils5 , Timothy Fin

Source URL: geog.ucsb.edu

• Computing
• Ontology
• Information science
• Knowledge representation
• Information
• Semantic Web
• Technical communication
• Upper ontology
• Web Ontology Language
• Formal ontology
• BORO
• Software design pattern

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

Translation of English into Logical Expressions V.R. Pratt A thesis submitted for the degree of

Source URL: boole.stanford.edu

• Syntax
• Formal languages
• Cognitive science
• Grammar
• Linguistics
• Language
• Noam Chomsky
• Context-free grammar
• Transformational grammar
• Formal grammar
• Phrase structure grammar
• Syntactic Structures

Staged Self-Assembly and Polyomino Context-Free Grammars A dissertation submitted by Andrew Winslow in partial fulfillment of the requirements for the degree of

Source URL: www.eecs.tufts.edu

• Formal languages
• Polyforms
• Mathematical games
• Mathematics
• Polyomino
• Language
• Culture
• Stochastic context-free grammar
• Context-free grammar
• CFGS
• CFG
• Context-free language

Mini-Course : Normal Modal Logics Aaron J. Cotnoir Northern Institute of Philosophy | November ,   Preliminaries: Formal Languages Definition .. A propositional language L comprises: . a sen

Source URL: www.st-andrews.ac.uk